Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
161	Microsoft Word - ijita12-1.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:07 Predicate logic Semantics Formal languages Functions and mappings Model theory Predicate Function FO Mereology Logic Mathematical logic Mathematics
162	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research, University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:15 Electronic design automation Formal methods Logic in computer science NP-complete problems Vehicle Identification Number Satisfiability Modulo Theories FO Kripke semantics Theoretical computer science Mathematical logic Logic
163	NSPredicate Cheatsheet Presented by Realm: a mobile database that replaces Core Data and SQLite. Learn more at http://realm.io Basic Comparisons =,== Add to Reading List Source URL: realm.io Language: English Query languages Predicate logic Formal languages Predicate Semantics SQL Regular expression Relational operator K Computing Software engineering Computer programming
164	A formal operational semantics for C++ object construction and destruction Tahina Ramananandro http://gallium.inria.fr/~tramanan/cpp July 13, 2011 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2011-07-28 07:47:39 C++ Object-oriented programming Method C programming language Virtual function C++ classes Constructor Struct Initialization Software engineering Computer programming Computing
165	On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:07 Applied mathematics Models of computation Programming language semantics Logic in computer science Denotational semantics Abstract interpretation Symbol Partial evaluation Interpretation Theoretical computer science Formal languages Mathematics
166	Substitutional Quantifiers John MacFarlane—Philosophy 142 February 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-15 13:16:19 Semantics Model theory Metalogic Interpretation Quasi-quotation Truth-value semantics Constructible universe Well-formed formula Quantification Logic Mathematical logic Formal languages
167	In Proceedings of the ACL 2000 Workshop on Natural Language Processing and Information Retrieval (NLP&IR), October 2000, Hong Kong, China REXTOR: A System for Generating Relations from Natural Language Add to Reading List Source URL: start.csail.mit.edu Language: English - Date: 2013-09-27 15:44:05 Linguistics Grammar Information retrieval Computational linguistics Formal languages Information extraction Semantics Parsing Phrase structure grammar Science Information science Natural language processing
168	WP (Draft Manual) WP Plug-in (Draft) Manual Frama-C Carbonbeta-2 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
169	UNIVERSITY OF SHEFFIELD: DESCRIPTION OF THE LaSIE-II SYSTEM AS USED FOR MUC-7 K. Humphreys, R. Gaizauskas, S. Azzam, C. Huyck, B. Mitchell, H. Cunningham, Y. Wilks 1 Department of Comp uter Science University of Sheeld Add to Reading List Source URL: www.itl.nist.gov Language: English - Date: 2001-01-11 13:45:11 Linguistics Software engineering Grammar Parsing Natural language processing Information extraction Semantics Chart parser Formal grammar Formal languages Programming language implementation Compiler construction
170	The NL2KR Platform for building Natural Language Translation Systems Vo Nguyen, Arindam Mitra and Chitta Baral School of Computing, Informatics and Decision Systems Engineering Arizona State University {nguyen.h.vo, ami Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2015-04-29 23:47:18 Science Computational linguistics Meaning Semantics Natural language processing Speech recognition Parsing Machine translation Formal grammar Linguistics Logic Formal languages

UPDATE